Formal Logic Publications

Publications in Formal Logic

Explore the most influential research papers and scholarly works that have shaped Formal Logic. Use the concept filter below to focus on a specific sub-area of research.

Formal Logic

1.3K

Publications

88.6K

Citations

Showing yearly statistics from 2000-2026.

Page 1

	Year	Citations
The complexity of theorem-proving procedures Stephen Cook EngineeringVerificationAutomated ProofComputational ComplexityRecognition Problem	1971	6.1K
A Computing Procedure for Quantification Theory Martin Davis, Hilary Putnam Journal of the ACM Computational Complexity TheoryEngineeringConstructive LogicMathematics CognitionComputational Complexity	1960	2.6K
Logic, Methodology and Philosophy of Science. Max Black, Ernest Nagel, Patrick Suppes, The Philosophical Review Formal LogicAutomated ReasoningPhilosophy Of LogicLogical AnalysisEpistemology	1963	2K
On a Problem of Formal Logic Frank Plumpton Ramsey Proceedings of the London Mathematical Society Formal LogicEngineeringAutomated ReasoningFormal MethodsFirst-order Logic	1930	1.9K
Introduction to Logical Theory. Hugues Leblanc, P. E. Strawson Philosophy and Phenomenological Research ReasoningFormal LogicApplied LogicNon-classical LogicAutomated Reasoning	1953	1.5K
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory Jeffrey Heath, Hans Kamp, Uwe Reyle Language EngineeringLexical SemanticsSemanticsSyntaxUniversal Quantification	1995	1.5K
The DLV system for knowledge representation and reasoning Nicola Leone, Gerald Pfeifer, Wolfgang Faber, ACM Transactions on Computational Logic EngineeringKnowledge-based ReasoningSemanticsLogic ProgrammingNon-monotonic Logic	2006	1.2K
Institutions: abstract model theory for specification and programming Joseph A. Goguen, R. M. Burstall Journal of the ACM EngineeringWell-founded SemanticsHigher-order LogicSemanticsPopulation Explosion	1992	974
Introduction to Mathematical Logic. Angelo Margaris, Alonzo Church American Mathematical Monthly Applied LogicFormal LogicPrinceton LandmarksEngineeringSymbolic Logic	1957	932
Logic, Semantics, Metamathematics. A. R. Turquette, Alfred Tarski, J. H. Woodger The Philosophical Review Formal SemanticsFormal LogicAutomated ReasoningPhilosophy Of LogicLogical Analysis	1958	813
Meaning and Grammar: An Introduction to Semantics Greg N. Carlson, Gennaro Chierchia, Sally McConnell‐Ginet Language EngineeringLexical SemanticsSemanticsApplied LinguisticsSyntax	1991	812
Logic, Semantics, Metamathematics. L. Jonathan Cohen, Alfred Tarski, J. H. Woodger The Philosophical Quarterly Formal SemanticsFormal LogicHumanitiesAutomated ReasoningClassical Logic	1958	801

Page 1